Fiorentini, Mauro: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 183 KB

english, 2009

2

Effects of Aging and Body Size on Proximal and Ascending Aorta and Aortic Arch: Inner Edge–to–Inner Edge Reference Values in a Large Adult Population by Two-Dimensional Transthoracic Echocardiography

Mirea, Oana, Maffessanti, Francesco, Gripari, Paola, Tamborini, Gloria, Muratori, Manuela, Fusini, Laura, Claudia, Cefalù, Fiorentini, Cesare, Plesea, Iancu Emil, Pepi, Mauro

Journal:

Journal of the American Society of Echocardiography

Year:

2013

Language:

english

File:

PDF, 694 KB

english, 2013

3

Effect of Chestnut Tannins and Short Chain Fatty Acids as Anti-Microbials and as Feeding Supplements in Broilers Rearing and Meat Quality

Mannelli, Federica, Minieri, Sara, Tosi, Giovanni, Secci, Giulia, Daghio, Matteo, Massi, Paola, Fiorentini, Laura, Galigani, Ilaria, Lancini, Silvano, Rapaccini, Stefano, Antongiovanni, Mauro, Mancini

Journal:

Year:

2019

Language:

english

File:

PDF, 437 KB

english, 2019

4

Relationship of resting hemoglobin concentration to peak oxygen uptake in heart failure patients

Piergiuseppe Agostoni, Elisabetta Salvioni, Chiara Debenedetti, Carlo Vignati, Gaia Cattadori, Mauro Contini, Damiano Magrì, Pietro Palermo, Erica Gondoni, Denise Brusoni, Cesare Fiorentini, Anna Apos

Journal:

American Journal of Hematology

Year:

2010

Language:

english

File:

PDF, 216 KB

english, 2010

5

The Metal-Catalyzed Cyclotrimerization of Ferrocenylethyne – Preparation and Characterization of 1,2,4-Triferrocenylbenzene

Simone Fiorentini, Barbara Floris, Pierluca Galloni, Fabrizia Grepioni, Mauro Polito, Pietro Tagliatesta

Journal:

European Journal of Organic Chemistry

Year:

2006

Language:

english

File:

PDF, 186 KB

english, 2006

6

The Metal-Catalyzed Cyclotrimerization of Ferrocenylethyne – Preparation and Characterization of 1,2,4-Triferrocenylbenzene

Simone Fiorentini, Barbara Floris, Pierluca Galloni, Fabrizia Grepioni, Mauro Polito, Pietro Tagliatesta

Journal:

European Journal of Organic Chemistry

Year:

2006

Language:

english

File:

PDF, 33 KB

english, 2006

7

A secondary semantics for Second Order Intuitionistic Propositional Logic

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 159 KB

english, 2004

8

Adjuvant intra-arterial 5-fluoruracil, leucovorin, epirubicin and carboplatin with or without systemic gemcitabine after curative resection for pancreatic adenocarcinoma

Maurizio Cantore, Giovanni Serio, Paolo Pederzoli, Andrea Mambrini, Calogero Iacono, Coriolano Pulica, Paola Capelli, Mirko Lombardi, Tito Torri, Paola Pacetti, Mauro Pagani, Giammaria Fiorentini

Journal:

Cancer Chemotherapy and Pharmacology

Year:

2006

Language:

english

File:

PDF, 209 KB

english, 2006

9

(oldsymbol {cal BC!D!L}): Basic Constructive Description Logic

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 536 KB

english, 2010

10

A Constructive Object Oriented Modeling Language for Information Systems

Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 384 KB

english, 2006

11

ESBC: an application for computing stabilization bounds

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 291 KB

english, 2006

12

A Proof-theoretical Analysis of Semiconstructive Intermediate Theories

Mauro Ferrari, Camillo Fiorentini

Journal:

Year:

2003

File:

PDF, 4.69 MB

2003

13

ORIGINAL RESEARCH—ERECTILE DYSFUNCTION: Erectile Dysfunction in Heart Failure: Correlation with Severity, Exercise Performance, Comorbidities, and Heart Failure Treatment

Anna Apostolo, Carlo Vignati, Denise Brusoni, Gaia Cattadori, Mauro Contini, Fabrizio Veglia, Damiano Magrì, Pietro Palermo, Calogero Tedesco, Elisabetta Doria, Cesare Fiorentini, Piero Montorsi, Pier

Journal:

The Journal of Sexual Medicine

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

14

Additional clinical role of 64-slice multidetector computed tomography in the evaluation of coronary artery variants and anomalies

Daniele Andreini, Saima Mushtaq, Gianluca Pontone, Sarah Cortinovis, Andrea Annoni, Alberto Formenti, Piergiuseppe Agostoni, Antonio L. Bartorelli, Cesare Fiorentini, Giovanni Ballerini, Mauro Pepi

Journal:

International Journal of Cardiology

Year:

2010

Language:

english

File:

PDF, 183 KB

english, 2010

15

Pulmonary vascular supersensitivity to catecholamines in systemic high blood pressure

Maurizio D. Guazzi, Nicoletta De Cesare, Cesare Fiorentini, Claudia Galli, Piero Montorsi, Mauro Pepi, Gloria Tamborini

Journal:

Journal of the American College of Cardiology

Year:

1986

Language:

english

File:

PDF, 630 KB

english, 1986

16

Doppler and echocardiographic diagnosis of a free-floating left atrial thrombus

Anna Maltagliati, Mauro Pepi, Cesare Fiorentini

Journal:

International Journal of Cardiology

Year:

1989

Language:

english

File:

PDF, 1.61 MB

english, 1989

17

Cardiac tamponade produced by a loculated pericardial hematoma simulating a right atrial mass

Mauro Pepi, Elisabetta Doria, Cesare Fiorentini

Journal:

International Journal of Cardiology

Year:

1990

Language:

english

File:

PDF, 1.29 MB

english, 1990

18

: A first principles description

Filippetti, Alessio, Lopez, Giorgia M., Mantega, Mauro, Fiorentini, Vincenzo

Journal:

Physical Review B

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

19

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 1.11 MB

english, 2013

20

A New Formula For Echo-Doppler Estimation of Right Ventricular Systolic Pressure

Pepi, Mauro, Tamborini, Gloria, Galli, Claudia, Barbier, Paolo, Doria, Elisabetta, Berti, Marco, Guazzi, Marco, Fiorentini, Cesare

Journal:

Journal of the American Society of Echocardiography

Year:

1994

Language:

english

File:

PDF, 605 KB

english, 1994

21

Dysfunction of Bileaflet Aortic Prosthesis

Muratori, Manuela, Montorsi, Piero, Maffessanti, Francesco, Teruzzi, Giovanni, Zoghbi, William A., Gripari, Paola, Tamborini, Gloria, Ghulam Ali, Sarah, Fusini, Laura, Fiorentini, Cesare, Pepi, Mauro

Journal:

Journal of the American College of Cardiology: Cardiovascular Imaging

Year:

2013

Language:

english

File:

PDF, 894 KB

english, 2013

22

Reference Values for Right Ventricular Volumes and Ejection Fraction With Real-Time Three-Dimensional Echocardiography: Evaluation in a Large Series of Normal Subjects

Tamborini, Gloria, Marsan, Nina Ajmone, Gripari, Paola, Maffessanti, Francesco, Brusoni, Denise, Muratori, Manuela, Caiani, Enrico G., Fiorentini, Cesare, Pepi, Mauro

Journal:

Journal of the American Society of Echocardiography

Year:

2010

Language:

english

File:

PDF, 822 KB

english, 2010

23

Evaluation of Right Ventricular Systolic Function after Mitral Valve Repair: A Two-Dimensional Doppler, Speckle-Tracking, and Three-Dimensional Echocardiographic Study

Maffessanti, Francesco, Gripari, Paola, Tamborini, Gloria, Muratori, Manuela, Fusini, Laura, Alamanni, Francesco, Zanobini, Marco, Fiorentini, Cesare, Caiani, Enrico G., Pepi, Mauro

Journal:

Journal of the American Society of Echocardiography

Year:

2012

Language:

english

File:

PDF, 497 KB

english, 2012

24

Percutaneous pericardiocentesis versus subxiphoid pericardiotomy in cardiac tamponade due to postoperative pericardial effusion

Susini, Giuseppe, Pepi, Mauro, Sisillo, Erminio, Bortone, Franco, Salvi, Luca, Barbier, Paolo, Fiorentini, Cesare

Journal:

Journal of Cardiothoracic and Vascular Anesthesia

Year:

1993

Language:

english

File:

PDF, 2.15 MB

english, 1993

25

Genetic modulation of the interleukin 6 (IL-6) system in patients with advanced gastric cancer: a background for an alternative target therapy

Ruzzo, Annamaria, Catalano, Vincenzo, Canestrari, Emanuele, Giacomini, Elisa, Santini, Daniele, Tonini, Giuseppe, Vincenzi, Bruno, Fiorentini, Giammaria, Magnani, Mauro, Graziano, Francesco

Journal:

Year:

2014

Language:

english

File:

PDF, 236 KB

english, 2014

26

First-principles calculation of electronic and structural properties of

Lopez, Giorgia M., Filippetti, Alessio, Mantega, Mauro, Fiorentini, Vincenzo

Journal:

Physical Review B

Year:

2010

Language:

english

File:

PDF, 1.40 MB

english, 2010

27

Solar neutrino experiments and determination of the neutrino oscillation parameters

Fiorentini, Gianni, Lissia, Marcello, Mezzorani, Giuseppe, Moretti, Mauro, Vignaud, Daniel

Journal:

Physical Review D

Year:

1994

Language:

english

File:

PDF, 778 KB

english, 1994

28

On the complexity of the disjunction property in intuitionistic and modal logics

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 169 KB

english, 2005

29

Extracting information from intermediate semiconstructive HA-systems – extended abstract

FERRARI, MAURO, FIORENTINI, CAMILLO, MIGLIOLI, PIERANGELO

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 339 KB

english, 2001

30

Anticatabolic activity of alpha-ketoglutaric acid in growing rats

Prandini, Aldo, Morlacchini, Mauro, Sigolo, Samantha, Fiorentini, Lucia

Journal:

Italian Journal of Animal Science

Year:

2012

Language:

english

File:

PDF, 148 KB

english, 2012

31

Lung function with carvedilol and bisoprolol in chronic heart failure: Is β selectivity relevant?

Agostoni, Piergiuseppe, Contini, Mauro, Cattadori, Gaia, Apostolo, Anna, Sciomer, Susanna, Bussotti, Maurizio, Palermo, Pietro, Fiorentini, Cesare

Journal:

European Journal of Heart Failure

Year:

2007

Language:

english

File:

PDF, 216 KB

english, 2007

32

An Evaluation-Driven Decision Procedure for G3i

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 760 KB

english, 2015

33

Verification of ANDF components

Broustaut, Frédéric, Fabre, Christian, de Ferrière, François, Ivanov, Éric, Fiorentini, Mauro

Journal:

ACM SIGPLAN Notices

Year:

1995

Language:

english

File:

PDF, 58 KB

english, 1995

34

[ACM Press Papers from the 1995 ACM SIGPLAN workshop - San Francisco, California, United States (1995.01.23-1995.01.25)] Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations - - Verification of ANDF components

Broustaut, Frédéric, Fabre, Christian, de Ferrière, François, Ivanov, Éric, Fiorentini, Mauro

Year:

1995

Language:

english

File:

PDF, 58 KB

english, 1995

35

Simplification Rules for Intuitionistic Propositional Tableaux

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 1.23 MB

english, 2012

36

ACE-Inhibition Benefit on Lung Function in Heart Failure is Modulated by ACE Insertion/Deletion Polymorphism

Contini, Mauro, Compagnino, Elisa, Cattadori, Gaia, Magrì, Damiano, Camera, Marina, Apostolo, Anna, Farina, Stefania, Palermo, Pietro, Gertow, Karl, Tremoli, Elena, Fiorentini, Cesare, Agostoni, Pierg

Journal:

Cardiovascular Drugs and Therapy

Year:

2016

Language:

english

File:

PDF, 1.10 MB

english, 2016

37

Right heart chamber geometry and tricuspid annulus morphology in patients undergoing mitral valve repair with and without tricuspid valve annuloplasty

Tamborini, Gloria, Fusini, Laura, Muratori, Manuela, Gripari, Paola, Ghulam Ali, Sarah, Fiorentini, Cesare, Pepi, Mauro

Journal:

The International Journal of Cardiovascular Imaging

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

38

In Vitro and In Vivo Monitoring of A Dendritic Cell Vaccination Trial

Riccobon, Angela, Fiorentini, Giuseppe, Ridolfi, Laura, Petrini, Massimiliano, Fiammenghi, Laura, Stefanelli, Monica, Galassi, Riccardo, Moretti, Andrea, Bertocco, Mauro

Journal:

Journal of Immunotherapy

Year:

2005

Language:

english

File:

PDF, 1.45 MB

english, 2005

39

Constructivism in Non-Classical Logics and Computer Science || A Proof-Theoretical Analysis of Semiconstructive Intermediate Theories

Mauro Ferrari and Camillo Fiorentini

Journal:

Year:

2003

Language:

english

File:

PDF, 2.95 MB

english, 2003

40

Enhancement of the pulmonary vasoconstriction reaction to alveolar hypoxia in systemic high blood pressure

Guazzi, Maurizio D., Berti, Marco, Doria, Elisabetta, Fiorentini, Cesare, Galli, Claudia, Pepi, Mauro, Tamborini, Gloria

Journal:

Clinical Science

Year:

1989

Language:

english

File:

PDF, 531 KB

english, 1989

41

Enhancement of the pulmonary vasoconstriction reaction to alveolar hypoxia in systemic high blood pressure

Maurizio, D. Guazzi, Marco, Berti, Elisabetta, Doria, Cesare, Fiorentini, Claudia, Galli, Mauro, Pepi, Gloria, Tamborini

Journal:

Clinical Science

Year:

1991

Language:

english

File:

PDF, 55 KB

english, 1991

42

Investigation of antibacterial activity of new classes of essential oils derivatives

Bassanetti, Irene, Carcelli, Mauro, Buschini, Annamaria, Montalbano, Serena, Leonardi, Giuliano, Pelagatti, Paolo, Tosi, Giovanni, Massi, Paola, Fiorentini, Laura, Rogolino, Dominga

Journal:

Year:

2016

Language:

english

File:

PDF, 416 KB

english, 2016

43

JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido, Giordano, Laura, Gliozzi, Valentina, Pettorossi, Alberto, Pozzato, Gian Luca

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 167 KB

english, 2017

44

Reversal of Cardiogenic Shock and Severe Mitral Regurgitation Through Verapamil in Hypertensive Hypertrophic Cardiomyopathy

Tamborini, Gloria, Pepi, Mauro, Susini, Giuseppe, Salvi, Luca, Fiorentini, Cesare

Journal:

Year:

1993

Language:

english

File:

PDF, 543 KB

english, 1993

45

Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic

Ferrari, Mauro, Fiorentini, Camillo

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

46

Three-Dimensional Echocardiography in Valve Disease

Colombo, Chiara, Tamborini, Gloria, Pepi, Mauro, Alimento, Marina, Fiorentini, Cesare

Journal:

Heart International

Year:

2007

File:

PDF, 345 KB

2007

47

Improved Method of Doppler Estimation of Right Ventricular Systolic Pressure

Guazzi, Maurizio D., Tamborini, Gloria, Sganzerla, Paolo, Moruzzi, Paolo, Galli, Claudia, Pepi, Mauro, Fiorentini, Cesare

Journal:

American Journal of Noninvasive Cardiology

Year:

1992

File:

PDF, 520 KB

1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски